1. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2805
2. Proceedings of the 1st International Conference on Integrated Formal Methods :
پدیدآورنده : Keijiro Araki ... (eds)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science)
3. Theoretical aspects of computing : ICTAC 2004 : first International Colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
پدیدآورنده : Zhiming Liu, Keijiro Araki )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Information theory
رده :
QA
76
.
L28
Vol
.
3407